Síntesis de patrones de interacción a partir de diagramas de secuencia en UML

La reutilización de componentes es en la actualidad una de las principales línea de trabajo dentro de la Ingeniería Software. Su utilización en la construcción de sistemas requiere la búsqueda y selección de componentes candidatos, adecuados a los requisitos planteados. Una vez obtenido un candidato, es necesario estudiar la compatibilidad entre las interacciones de este y las del sistema donde va a ser integrado. Este trabajo plantea el uso de los Diagramas de Secuencia, incluidos dentro del lenguaje de modelado UML, como método para obtener los patrones de interacción de los componentes de un sistema software. Los diagramas de secuencia se pueden utilizar a distintos niveles de abstracción, agrupando o separando componentes en función de las necesidades, obteniendo así patrones para componentes individuales o para agrupaciones. Los patrones obtenidos, descritos mediante máquinas de estados extendidas y descripciones algebraicas, completarán la información de los interfaces de cada uno de los componentes del sistema. Esta información se podrá usar posteriormente para estudiar la compatibilidad del componente con el entorno donde va a ser integrado, detectar secuencias de eventos prohibidas y realizar operaciones de simulación.